	rorq	$14, %rsi
	movq	%rsi, %rbp
	movq	%r9, %rsi
	rorq	$18, %rsi
	rolq	$30, %r14
	xorq	%rbp, %rsi
	movq	%r9, %rbp
	rolq	$23, %rbp
	xorq	%rbp, %rsi
	addq	%rsi, %r13
	movq	%rdx, %rsi
	xorq	%rcx, %rsi
	addq	%r13, %r11
	movq	%rsi, %rbp
	movq	%rcx, %rsi
	rorq	$28, %rsi
	andq	%rbp, %rbx
	xorq	%rsi, %r14
	movq	%rcx, %rsi
	xorq	%rdx, %rbx
	rolq	$25, %rsi
	xorq	%r14, %rsi
	movq	-80(%rsp), %r14
	addq	%rbx, %rsi
	addq	%r13, %rsi
	movq	%r14, %rbx
	movq	%r14, %r13
	rorq	%r13
	rorq	$8, %rbx
	xorq	%r13, %rbx
	movq	%r14, %r13
	movq	-16(%rsp), %r14
	shrq	$7, %r13
	xorq	%r13, %rbx
	movq	-104(%rsp), %r13
	addq	%r14, %rbx
	movq	-88(%rsp), %r14
	addq	%r14, %rbx
	movq	%r13, %r14
	rolq	$3, %r13
	rorq	$19, %r14
	xorq	%r14, %r13
	movq	-104(%rsp), %r14
	shrq	$6, %r14
	xorq	%r14, %r13
	movq	%rsi, %r14
	addq	%r13, %rbx
	movq	%r8, %r13
	xorq	%r9, %r13
	movq	%rbx, -88(%rsp)
	andq	%r11, %r13
	xorq	%r8, %r13
	addq	32(%r10), %rdi
	rolq	$30, %r14
	addq	%rbx, %rdi
	addq	%rdi, %r13
	movq	%r11, %rdi